package com.woniuxy.lab.woniu_lab.service;

import com.baomidou.mybatisplus.core.metadata.IPage;
import com.woniuxy.lab.woniu_lab.model.Exper;
import com.baomidou.mybatisplus.extension.service.IService;
import com.woniuxy.lab.woniu_lab.model.User;
import com.woniuxy.lab.woniu_lab.service.dto.ExperDto;
import com.woniuxy.lab.woniu_lab.service.dto.experDto.MyExperDto;

/**
 * <p>
 * 实验表 服务类
 * </p>
 *
 * @author Silas
 * @since 2023-03-15
 */
public interface ExperService extends IService<Exper> {

    IPage<MyExperDto> getMyCTF(IPage<Exper> iPage);

    IPage<MyExperDto> getMyExper(IPage<Exper> iPage);

    /**
     * 查询用户是否存在正在运行的环境，没有会返回null，存在返回ExperDto
     * @return ExperDto
     */
    ExperDto runningOrNot();

    /**
     * 提交Flag
     * @param flag flag
     * @return Boolean 是否通过验证 通过为true 未通过为false
     */
    Boolean checkFlag(String flag,Integer rangeId);

    void release(Integer userId);

    void delay(User user, Integer rangeId);

    /**
     * 关闭用户开启的compose
     * @param result 实验结果
     */
    void closeDockerCompose(String result);
}
